opaque
  test : Set
